Optimal. Leaf size=98 \[ -\frac {15 \sqrt {\pi } \text {erfi}\left (\sqrt {\log (c (d+e x))}\right )}{8 c e}+\frac {15 (d+e x) \sqrt {\log (c (d+e x))}}{4 e}-\frac {5 (d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{2 e}+\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 98, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 5, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.417, Rules used = {2436, 2333,
2336, 2211, 2235} \begin {gather*} -\frac {15 \sqrt {\pi } \text {Erfi}\left (\sqrt {\log (c (d+e x))}\right )}{8 c e}+\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e}-\frac {5 (d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{2 e}+\frac {15 (d+e x) \sqrt {\log (c (d+e x))}}{4 e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2211
Rule 2235
Rule 2333
Rule 2336
Rule 2436
Rubi steps
\begin {align*} \int \log ^{\frac {5}{2}}(c (d+e x)) \, dx &=\frac {\text {Subst}\left (\int \log ^{\frac {5}{2}}(c x) \, dx,x,d+e x\right )}{e}\\ &=\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e}-\frac {5 \text {Subst}\left (\int \log ^{\frac {3}{2}}(c x) \, dx,x,d+e x\right )}{2 e}\\ &=-\frac {5 (d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{2 e}+\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e}+\frac {15 \text {Subst}\left (\int \sqrt {\log (c x)} \, dx,x,d+e x\right )}{4 e}\\ &=\frac {15 (d+e x) \sqrt {\log (c (d+e x))}}{4 e}-\frac {5 (d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{2 e}+\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e}-\frac {15 \text {Subst}\left (\int \frac {1}{\sqrt {\log (c x)}} \, dx,x,d+e x\right )}{8 e}\\ &=\frac {15 (d+e x) \sqrt {\log (c (d+e x))}}{4 e}-\frac {5 (d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{2 e}+\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e}-\frac {15 \text {Subst}\left (\int \frac {e^x}{\sqrt {x}} \, dx,x,\log (c (d+e x))\right )}{8 c e}\\ &=\frac {15 (d+e x) \sqrt {\log (c (d+e x))}}{4 e}-\frac {5 (d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{2 e}+\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e}-\frac {15 \text {Subst}\left (\int e^{x^2} \, dx,x,\sqrt {\log (c (d+e x))}\right )}{4 c e}\\ &=-\frac {15 \sqrt {\pi } \text {erfi}\left (\sqrt {\log (c (d+e x))}\right )}{8 c e}+\frac {15 (d+e x) \sqrt {\log (c (d+e x))}}{4 e}-\frac {5 (d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{2 e}+\frac {(d+e x) \log ^{\frac {5}{2}}(c (d+e x))}{e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 75, normalized size = 0.77 \begin {gather*} \frac {-15 \sqrt {\pi } \text {erfi}\left (\sqrt {\log (c (d+e x))}\right )+2 c (d+e x) \sqrt {\log (c (d+e x))} \left (15-10 \log (c (d+e x))+4 \log ^2(c (d+e x))\right )}{8 c e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.05, size = 0, normalized size = 0.00 \[\int \ln \left (c \left (e x +d \right )\right )^{\frac {5}{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains complex when optimal does not.
time = 0.29, size = 84, normalized size = 0.86 \begin {gather*} \frac {2 \, {\left (c x e + c d\right )} {\left (4 \, \log \left (c x e + c d\right )^{\frac {5}{2}} - 10 \, \log \left (c x e + c d\right )^{\frac {3}{2}} + 15 \, \sqrt {\log \left (c x e + c d\right )}\right )} e^{\left (-1\right )} + 15 i \, \sqrt {\pi } \operatorname {erf}\left (i \, \sqrt {\log \left (c x e + c d\right )}\right ) e^{\left (-1\right )}}{8 \, c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.21, size = 96, normalized size = 0.98 \begin {gather*} \frac {{\ln \left (c\,\left (d+e\,x\right )\right )}^{5/2}\,\left (\frac {15\,\sqrt {\pi }\,\mathrm {erfc}\left (\sqrt {-\ln \left (c\,\left (d+e\,x\right )\right )}\right )}{8}+c\,\left (d+e\,x\right )\,\left (\frac {15\,\sqrt {-\ln \left (c\,\left (d+e\,x\right )\right )}}{4}+\frac {5\,{\left (-\ln \left (c\,\left (d+e\,x\right )\right )\right )}^{3/2}}{2}+{\left (-\ln \left (c\,\left (d+e\,x\right )\right )\right )}^{5/2}\right )\right )}{c\,e\,{\left (-\ln \left (c\,\left (d+e\,x\right )\right )\right )}^{5/2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________